$\forall$$x$:($\mathbb{N}\rightarrow\mathbb{Q}$), $r$:$\mathbb{Z}$, $k$:$\mathbb{N}^{+}$, $y$:($\mathbb{Q}$ List). \\[0ex]($k$ $\leq$ $\parallel$$y$$\parallel$) \\[0ex]$\Rightarrow$ ($x$($k$) = 0 $\in$ $\mathbb{Q}$) \\[0ex]$\Rightarrow$ (q{-}rel($r$;q{-}linear($k$;$j$.$x$($j$);$y$)) $\Leftarrow\!\Rightarrow$ q{-}rel($r$;q{-}linear($k$ {-} 1;$j$.$x$($j$);$y$)))